201. A science of operations: Machines, logic and the invention of programming
Author: / Mark Priestley (auth.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
202. A survey of Islamic history -- Why an introduction to Islam specifically for Jews? -- Arabs and Israelites -- Pre-Islamic origins -- The emergence of Islam -- Muhammad and the Jews of Medina -- The death of the
Author: Reuven Firestone.
Library: Library of Islamic Parliament (Tehran)
Subject:
203. A tight, practical integration of relations and functions
Author: Boley, Harold
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
204. A 25-year perspective on logic programming
Author: [edited by]& Agostino Dovier, Enrico Pontelli
Library: Central Library and Information Center of Shahed University (Tehran)
Subject:
205. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
Author: Agostino Dovier, Enrico Pontelli )Eds.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
Classification :
QA
76
.
63
.
A14
2010
206. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
207. AI and Cognitive Science '92 :
Author: edited by Kevin Ryan, Richard F.E. Sutcliffe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
208. AI and Cognitive Science '91 :
Author: edited by Humphrey Sorensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Translators (Computer programs)
209. AI and cognitive science :
Author: second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligence artificielle -- Actes de congrès.
210. AI approaches to the complexity of legal systems :
Author: Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
K213
211. AI system support for conceptual design :
Author: John Sharpe, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence -- Congresses.,Engineering design -- Congresses.,Expert systems (Computer science) -- Congresses.
Classification :
TA174
.
J646
1996
212. AI*IA 2018 -- advances in artificial intelligence :
Author: Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Artificial intelligence.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Computers-- User Interfaces.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,User interface design & usability.
Classification :
Q334
213. AQA A level Computer Science.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Problems, exercises, etc.,Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
214. Abduction and Induction
Author: edited by Peter A. Flach, Antonis C. Kakas.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
215. Actuarial Science :
Author: edited by Ian B. MacNeill, Gary J. Umphrey, Beda S.C. Chan, Serge B. Provost.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Statistics.
216. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
Classification :
E-BOOK
217. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing., Poernomo, Iman Hafiz, 1976-
Library: Library of College of Science University of Tehran (Tehran)
Subject: Curry-Howard isomorphism., Proof theory., Logic, Symbolic and mathematical., Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
9
.
54
.
P64
2005
218. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
Classification :
E-BOOK
219. Adapting proofs-as-programs
Author: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
Classification :
QA
,
9
.
54
,.
P64
,
2005
